約 1,482,797 件
https://w.atwiki.jp/hirotakaohkubo/pages/18.html
TeXに関するメモ Haskellを手間をかけて美しく組版 多少手間をかけて、Haskellコードをきれいに組版するためのスタイル。 GitHubで触れるようにしました。 https //github.com/gotoki-no-joe/haskell-style オリジナルは http //www.cse.unsw.edu.au/~chak/haskell/haskell-style/ にあるものです。 多少のコマンド追加と日本語マニュアルを付けました。 (memo/TeX/haskell.styから移動) Haskellを手間をかけないでそれなりに組版 listings.styとhaskell.tex okumacroとascmacの競合 \usepackage{okumacro} \newcommand\Keytop[1]{{% \def\oval{\ltxoval}\def\@oval{\ltx@oval}\keytop{#1}}}% \usepackage{itembbox}% okumacro より後で読み込むこと jsbookで本文横幅が制限される %「書籍では1行の長さが全角40文字を超えないようにしています。」を停止 \setlength{\textwidth}{\fullwidth} \setlength{\evensidemargin}{\oddsidemargin} 日本語のしおりを付加 % 日本語のしおりを付加する \usepackage[setpagesize=false,dvipdfmx,bookmarks=true,bookmarksnumbered=true,bookmarkstype=toc]{hyperref} \ifnum 42146=\euc"A4A2 \AtBeginDvi{\special{pdf tounicode EUC-UCS2}}\else \AtBeginDvi{\special{pdf tounicode 90ms-RKSJ-UCS2}}\fi コメント 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/38.html
3バス方式のKITE-1プロセッサをVHDLにて作成します。 今年度からMoodleを利用しています。学内からのみアクセス可能です。 めも：XPのプロダクトキーを変更する方法 http //windows.microsoft.com/ja-JP/windows/help/genuine/product-key 次世代ボード作成のためのメモ SDRAMアクセスの方法 Xilinxが公開しているアプリケーションノートXAPP134の実装がftp.xilinx.comから入手できない件 http //forums.xilinx.com/xlnx/board/crawl_message?board.id=MIG message.id=1570 「ISEのサンプルに入ってるから」 そーなんだ。
https://w.atwiki.jp/hirotakaohkubo/pages/75.html
p.75 L.-9 "reverse [] y" is redundant. p.79 definition of count_depth "depth" should be "depth " p.81 definition of tinsert function "size" is trivial, but not given. Section 4.2.6 Comment Type "BinTreeSz" has valid value (Pair of Int has the size of subtrees) and invalid value. It is the programmer s task to keep validity of BinTreeSz value while manipulating them. This kind of datatype breaks the reliability which Haskell s type system provides.
https://w.atwiki.jp/hirotakaohkubo/pages/23.html
12.1△ (自信なし) 型宣言なしで関数定義されていると仮定すると、evalの主型は関数定義のそれぞれの等式に対して次のように推論されると思われる。 eval Zero = 0 Term Int→Int eval (IsZero e) = eval e==0 Term Bool→Bool この両者から eval Term τ→τ とは推論できない。 12.2× 12.3 eq Type t - t - t - Bool eq (RInt) i j = i == j eq (RChar) c d = c == d eq (RList _) [] [] = True eq (RList t) (x xs) (y ys) = eq t x y eq (RList t) xs ys eq (RList _) _ _ = False eq (RPair ra rb) (a, b) (c, d) = eq ra a c eq rb b d cmp Type t - t - t - Ordering cmp (RInt) i j = compare i j cmp (RChar) c d = compare c d cmp (RList _) [] [] = EQ cmp (RList _) (_ _) [] = GT cmp (RList _) [] (_ _) = LT cmp (RList t) (x xs) (y ys) = case cmp t x y of LT - LT EQ - cmp (RList t) xs ys GT - GT cmp (RPair ra rb) (a, b) (c, d) = case cmp ra a c of LT - LT EQ - cmp rb b d GT - GT 12.4× 12.5△ compress uncompressBase Int - [Int] - (Int,[Int]) uncompressBase w ks = (foldr (\ x s - s * 2 + x) 0 (take w ks), (drop w ks)) uncompressInt = uncompressBase 32 uncompressChar ks = (chr n, ls) where (n, ls) = uncompressBase 7 ks uncompress Type t - [Int] - t uncompress t ks = fst (uncompress t ks) uncompress Type t - [Int] - (t,[Int]) uncompress RInt ks = uncompressInt ks uncompress RChar ks = uncompressChar ks uncompress (RList _) (0 ks) = ([], ks) uncompress (RList t) (1 ks) = (v vs, ms) where (v ,ls) = uncompress t ks (vs,ms) = uncompress (RList t) ls uncompress’ (RPair ra rb) ks = ((u,v), ms) where (u,ls) = uncompress ra ks (v,ms) = uncompress rb ls parse 0と1の並びを解釈するuncompressと、アスキー文字の並びを解釈するparseには計算する内容に本質的な違いはない。 ただ面倒さがparseの方が圧倒的に大きい。なのでパス。 12.6 補助データ型を用いずに作ると、デコード側が uncompressType [Int] - (Type t, [Int]) uncompressType (0 0 0 ks) = (RInt, ks) のようになる。ここで RInt Type Int でありこれは型宣言の Type t より狭くなるので型エラーとなる。 data Rep where Rep Type t → Rep compressRep Rep → [Int] compressRep (Rep RInt) = [0,0,0] compressRep (Rep RChar) = [0,0,1] compressRep (Rep (RList ra)) = 0 1 0 compressRep (Rep ra) compressRep (Rep (RPair ra rb)) = 0 1 1 compressRep (Rep ra) + + compressRep (Rep rb) compressRep (Rep RDyn) = [1,0,0] uncompressRep′ [Int] → (Rep, [Int]) uncompressRep′(0 0 0 ks) = (Rep RInt, ks) uncompressRep′(0 0 1 ks) = (Rep RChar, ks) uncompressRep′(0 1 0 ks) = case uncompressRep′ks of (Rep ra, ks′) → (Rep (RList ra), ks′) uncompressRep′(0 1 1 ks) = case uncompressRep′ks of (Rep ra, ks′) → case uncompressRep′ks′of (Rep rb, ks′′) → (Rep (RPair ra rb), ks′′) uncompressRep′(1 0 0 ks) = (Rep RDyn, ks) コメント 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/73.html
p.6 Reasoning may be more simple.
https://w.atwiki.jp/hirotakaohkubo/pages/72.html
Algorithms A Functional Programming Approach 公式 http //www.iro.umontreal.ca/~lapalme/Algorithms-functional.html 2012年 B3セミナー 2012/10/19開始 ～ 2013/3/22 8章で終了 Comment Chapter 1 Chapter 2 Chapter 4 Chapter 5 Chapter 6 Sorting Chapter 7 Graph algorithms Chapter 8 Top-down design techniques Chapter 9 Dynamic programming
https://w.atwiki.jp/hirotakaohkubo/pages/47.html
10.11 instance ArrowLoop StreamMap where loop (SM f) = SM (trace (unzipStream . f . zipStream)) 10.12 loop (first f) = loop (first f idA) {恒等性} = f loop idA {左結合} = f loop (pure id) {定義} = f pure (trace id) {拡張} = f pure id ※ = f {定義と恒等性} ※部 trace id =λb → let (c,d) = id (b, d) in c {定義} =λb → b = id 10.13 考え中。 10.14 pはパターン、aは複雑な式、fはアロー式。 いずれの形も使えるということから、 FV(p) と FV(f) は disjoint このアローはArrowApplyのインスタンス である。 １つめを使う場合。 proc p → f - a = pure (λp→a) f ２つめを使う場合。 aはpに依存するが、fは依存していないことから、 λp→(f,a) = (λc→(f,c)) . (λp→a) がいえる。 proc p → f - a = pure (λp → (f,a)) app {定義2} = pure (λc→(f,c) . λp→a) app {上} = pure (λp→a) pure (λc→(f,c)) app {関手合成} = pure (λp→a) mkPair f app {定義} = pure (λp→ a) f {外延性} 10.15 http //www.soi.city.ac.uk/~ross/papers/notation.html にcaseの話も込みで全部書いてある。 proc p → if e then c1 else c2 = arr (λ p → if e then Left p else Right p) (proc p → c1) ||| (proc p → c2) しかし、変換を完全にするには、 proc p → { if e then c1 else c2 ; B } を対象にするか、またはこれが proc p → if e then proc p → { c1 ; B } else proc p → { c2 ; B } に変換できることを示せないと不充分ではないか。 コメント 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/16.html
Foundations of XML Processing / The Tree-Automata Approach XML処理の基礎-木音又の接近 2011/4開始 公式 Errata p.200 問題4.2.1の解答前半 左上から右にノードを順に番号付けして2,3,4のノードから、それぞれgender,spouse,petで5に移る遷移か、 3,4のノードからいずれもpetで5へ移る遷移が必要。 また、右下のPetNameという名前はPetの誤り。 p.55 PersonX = person[Name, Gender, SpouseX, ChildrenX?] 最後に?が必要 p.59 §5.4.2 PP-EPSの下右辺、P-EPSと対応するなら となるはず。 p.73 §7.1.2末尾 possiblities → possibilities p.75 Example 7.2.1 → Exercise 7.2.1 p.86 l.-9 since は の間違い？ p.95 図 木の高さnをノードの数で数えるか弧の数で数えるかいずれにも解釈できる。 p.96 Exercise 8.1.2, p.97 Exercise 8.1.3 → p.105 eval (prod ...)の定義式 プライムが抜けている p.107 二つのディスプレイ数式にある は全て を にする。 の中も。 p.119 の式 中カッコ閉じは ではなく最後 p.128 l.18 "Below, when we write p ..." は でなく p.132 definition of は Note 輪講は10章までで終了した。 コメント 名前 コメント
https://w.atwiki.jp/hirotakaohkubo/pages/5.html
まとめサイト作成支援ツールについて @wikiにはまとめサイト作成を支援するツールがあります。 また、 #matome_list と入力することで、注目の掲示板が一覧表示されます。 利用例）#matome_listと入力すると下記のように表示されます #matome_list
https://w.atwiki.jp/dc-sakatsuku7/pages/17.html
期間 名称 期間 特別練習、覚醒練習ボーナス 特徴獲得 ぱぱっとお試し 4週間(1ヶ月) - △ さっくり短期間集中 12週間(3ヶ月) △ ○ きちんと中期効率 24週間(6ヶ月) ○ ◎ じっくり長期持続 48週間(1年) ◎ ☆ みっちり超育成 96週間(2年) ☆ ☆☆ 基本的に期間が長いほど費用も高くなり、練習ボーナスも大きくなり、特徴獲得の確率も上がり、レアな特徴の獲得確率も上がる。 初期面談 選択肢ごとに発生イベントが変化する？ 最終面談 選択肢 取得率アップ メンタル面を強く～ 逆境、ダービー、大舞台、ビッグマウス 君にはクラブのフラグシップに～ キャプテン、面倒見、良いコーチ 君にはクラブの広告塔に～ ファンサ、スター、ムードメーカ 常にプロのサッカー選手～ プロ意識 意外性、スーパーサブ タフガイ その他効果 忠誠度アップ 監督スキル「どんな選手もフィットさせる」で、監督のポリシーに合わせるイベントが起こる事がある 秘蔵っ子育成中に、通常の面談を行うと忠誠がアップする